Digital darkfield tableaus

نویسندگان

  • P. Fraundorf
  • Jinfeng Wang
  • Eric Mandell
  • Martin Rose
چکیده

Like wavelet decompositions, power spectra "tiled with direct space maps" are versions of a lattice image intermediate between direct and reciprocal space [1]. They generally take about the same time to calculate as a power spectrum, and contain useful information of all sorts about "where periodicities lie". Questions of this sort will be of increasing importance e.g. in subångstrom resolution pictures. The information is useful in spite of the fact that members of the mathematical harmonic analysis community have long moved past the sharp edged Fourier apertures that electron optical darkfield requires [2]. By illustrating useful applications for sharp-edged tilings, we might thus inspire the math community to look at the much wider range of pattern recognition problems that today's high resolution electron microscopists face.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Digital Darkfield Analysis of Lattice Fringe Images with ImageJ

Digital-darkfield analysis involves the spatial mapping of selected frequencies across a digitized image, much as analog (e.g. electron-optical) darkfield-imaging allows one to locate crystals responsible for a given diffraction spot. This analysis involves a type of image decomposition which, like wavelets, is intermediate between direct and reciprocal (spatial-frequency) space [1]. Digital-da...

متن کامل

Termination for Hybrid Tableaus

This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Braüner [5]. Their paper gives tableau-based decision procedures for basic hybrid logic (with unary modalities) and the basic logic extended with the global modality. All their proof procedures make use of loop-checks to ensure termination. Here we take a closer look at termination for hybr...

متن کامل

Tableaus and Automata for Description Logics

In this paper, we briefly present three different approaches at examining the relation between tableaus and automata, and possibly combining their advantages in the context of testing satisfiability of description logic concepts. The first approach tries to transfer the efficiency of tableaus to automata by performing the automata emptiness test with a tableau algorithm. The second one examines...

متن کامل

Darkfield Adapter for Whole Slide Imaging: Adapting a Darkfield Internal Reflection Illumination System to Extend WSI Applications

We present a new method for whole slide darkfield imaging. Whole Slide Imaging (WSI), also sometimes called virtual slide or virtual microscopy technology, produces images that simultaneously provide high resolution and a wide field of observation that can encompass the entire section, extending far beyond any single field of view. For example, a brain slice can be imaged so that both overall m...

متن کامل

Modal paraconsistent tableau systems of logic

The aim of this paper is to show how to simply define paraconsistent tableaus by liberalization of construction of complete tableaus. The presented notions allow us to list all tableau inconsistencies that appear in a complete tableau. Then we can easily choose these inconsistencies that are effects of interactions between premises and a conclusion, simultaneously excluding other inconsistencie...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006